例句與造句

1. Then it uses the symbolic model checking to validate the predicates on the boolean program.
2. Clarke is a fellow of the ACM Paris Kanellakis Award in 1999 for the development of symbolic model checking.
3. Widening techniques and the closely related " acceleration " techniques are used in the " forward analysis " of systems in the discipline of symbolic model checking.
4. He was awarded the 1998 ACM Paris Kanellakis Theory and Practice Award for contributing to the development of symbolic model checking, the 1989 IEEE W . R . G . Baker Prize Paper Award for the best paper appearing in any IEEE publication during the preceding year, as well as the 2007 IEEE Emanuel R . Piore Award.
5. It's difficult to find symbolic model checking in a sentence. 用symbolic model checking造句挺難的